Translating Object-z Speciications to Object-oriented Test Oracles Translating Object-z Speciications to Object-oriented Test Oracles

Translating Object-z Speciications to Passive Test Oracles Translating Object-z Speciications to Passive Test Oracles

This report describes the translation of formal speciications of container classes to passive test oracles. Speciically, we use Object-Z for speciications and C++ for oracles. We discuss several practical issues for the use of formal speciications in test oracle generation. We then present the translation process for three passive oracle models and evaluate how each model satisses our goals of ...

Connrmation Report: Generating Test Oracles from Formal Object-oriented Speciications

C-Patrol: Design and Usage

The C-patrol system is a simple but powerful CASE tool for C software systems. The heart of the proposed prototype is the labeled code system, a procedure-like mechanism that invokes blocks of code through a database-like associative system rather than through explicit procedure names. The C-patrol design resolves several diicult issues in enforcing object-oriented invariants in a language that...

An Approach to Animating Model-based Object-oriented Formal Speciications

| One of the important issues in the application of formal notations in software development is the validation of formal speciications against the informal customer requirements. Animation has been proposed as one of the techniques for achieving this goal. This paper describes an approach to animating object-oriented model-based formal speciications as well as a research prototype of an animati...

Deening Relationships in Ecology Using Object-oriented Formal Speciications

A formal object-oriented speciication using Object-Z is given of an animal's environment which builds on previous work using formal descriptions in this area. The object framework provides a closer match between natural categories and speciied classes, and the formal speciication acts as a tool to explicitly state all assumptions, consequences and behaviors involved for a set of objects at hand...